Set inversion for χ-algorithms with application to guaranteed robot localization
نویسندگان
چکیده
Characterizing the set of all parameter vectors such that their image by a vector function belongs to a given set is a set-inversion problem. The algorithm SIVIA (Set Inversion Via Interval Analysis) makes it possible to perform this task in an approximate but guaranteed way. In the examples treated so far, the function to be inverted was given either explicitly or by a sequential algorithm. In this paper, this approach is extended to the case of branching algorithms involving if statements. As an illustration, the static localization of a robot from bounded-error range measurements is considered. The notion of remoteness, introduced for an archetypal but realistic sonar model, allows this problem to be cast into the set-inversion framework.
منابع مشابه
Guaranteed robust nonlinear estimation with application to robot localization
When reliable prior bounds on the acceptable errors between the data and corresponding model outputs are available, bounded-error estimation techniques make it possible to characterize the set of all acceptable parameter vectors in a guaranteed way, even when the model is nonlinear and the number of data points small. However, when the data may contain outliers, i.e., data points for which thes...
متن کاملMap-merging in Multi-robot Simultaneous Localization and Mapping Process Using Two Heterogeneous Ground Robots
In this article, a fast and reliable map-merging algorithm is proposed to produce a global two dimensional map of an indoor environment in a multi-robot simultaneous localization and mapping (SLAM) process. In SLAM process, to find its way in this environment, a robot should be able to determine its position relative to a map formed from its observations. To solve this complex problem, simultan...
متن کاملFeasibility of detecting and localizing radioactive source using image processing and computational geometry algorithms
We consider the problem of finding the localization of radioactive source by using data from a digital camera. In other words, the camera could help us to detect the direction of radioactive rays radiation. Therefore, the outcome could be used to command a robot to move toward the true direction to achieve the source. The process of camera data is performed by using image processing and computa...
متن کاملGuaranteed Mobile Robot Tracking Using Interval Analysis
The problem considered here is state estimation in the presence of bounded process and measurement noise. A new nonlinear state estimator, based on interval analysis and the notion of set inversion, is applied to robot localization and tracking. This estimator evaluates a set guaranteed to contain all values of the state that are consistent with the available observations, given the noise bound...
متن کاملImprecision and Uncertainty Quantification for the Problem of Mobile Robot Localization
This paper describes the use of a set inversion algorithm to solve the problem of mobile robot localization. The method is based on the formalism of interval analysis. In this formalism, an imprecise number is represented by an interval which contains it in a guaranteed way. This enables to naturally manage the imprecision linked to the mobile robot configuration. Indeed, we show that imprecisi...
متن کامل